Wie viele Stunden arbeitet ein Industriemechaniker?