If Germany were to leave the euro, it would be better off