a total order - German English Dictionary