20120722 unknown: Eurozone crisis saves Germany tens of billions