Was verdient ein Industriemechaniker im Jahr?