Verkauft Eon seine Anteile an Gazprom?