The next morning, our last day there, we decided to take the bus. This worked in theory. In practice, the bus we needed never showed up. Instead, we took a bus that went kind of close and ended up having to walk a bit further to the planetarium. This is some kind of building. Maybe it's some kind of theater, maybe it's a library, I'm really not sure.