to double - German English Dictionary