be a matter of record - German English Dictionary