a whizz kid - German English Dictionary