Was verdient ein Industriemechaniker?