Euro-Länder billigen 78 Milliarden-Hilfe für Portugal