Hilfsbuch Für Dampfmaschinen-Techniker, Volume 2 [German Edition], Josef Hrabá