omkring 15,000 och i Bochum omkring 10,000 arbetare.