Kurzes deutsches Wörterbuch - Schmitthenner, Friedrich