Dictionary of old German Definitions: Difference between revisions