after while(, crocodile) - German English Dictionary