An Etymological Dictionary of the German Language/Hafen

