the prague castle is supposedly the biggest in the world