pocket size - German English Dictionary