officially recorded document - German English Dictionary