World War I ended with the defeat of the Austro-Hungarian Empire and the creation of Czechoslovakia. Prague was chosen as its capital and Prague Castle as the seat of president Tomáš Garrigue Masaryk. At this time Prague was a true European capital with highly developed industry. By 1930, the population had risen to 850,000.