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