Will they sell Euro bonds? Or ones from Germany?