Hochtief afgeslankt tot 49.154 medewerkers