The German term "Steinmetz" matches the English term "stone cutter, stonemason"