Wie viel verdient ein Techniker Industriemechaniker?