23.701 Cutting, shaping and finishing of building stone