What greatly reduced the size of Germany after WWI?