HOCHTIEF – (ETR:HOT)