Polytechnisches Wörterbuch - Hüter, Paul (Polytechnisches Wörterbuch)