Ursprünglich war Trump eine Summe von 454 Millionen Dollar auferlegt worden. Bild: APA/AFP/POOL/MICHAEL NAGLE