11875 vertical mill industry in germany