Jetzt offiziell: Portugal will unter den Rettungsschirm