Polytechnisches Wörterbuch - Hüter, Paul