Title: Industrial safety in Germany