How many Germans were living in East Prussia in 1945