Rettungsfonds gibt 7,5 Milliarden Euro für Griechenland frei