mining safety equipment in germany