War Betriebsgenehmigung von Diamond Boart legal?