a public instrument - German English Dictionary