manual documentation - German English Dictionary