verkstäder och 47,782 arbetare Bayern ;1