East Prussia — province of Prussia