Was verdient ein Haustechniker netto?