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