Deutsches Handworterbuch , ben Riemer,