Definitions

[1] Steine schneiden, Steinschneiden (Formen von Steinen, Zuschneiden von Steinen, Zerteilen von Bausteinen)