Was verdient ein Tiefbautechniker?