Technisches Lexikon für Gewerbe u. Industrie - Kick, Friedrich