إجمالي المديونية لـ‎HOCHTIEF‎.