What if East Prussia remained GERMAN?