Rock cutting at the Hochschule Trier in Idar-Oberstein