or-thonormalization - German English Dictionary