Wie wird Granit bearbeitet?