Is Germany's CDS Pricing A 6% EUR Devaluation?