A concise German etymological dictionary: With a suppl. on the etymology of some Middle High German words extinct in modern German,