Handbuch für Steinmetzen. - Otto, Paul (Ebner, 1943)