Wie viel verdient ein Industriemechaniker Techniker?