Samsungs Milliarden-Schadenersatz an Apple zunächst fast halbiert