Wie viel verdient man als Industriemechaniker in Sachsen?