What the building is called by the locals, who don't really care for it. It's real name? Don't remember, just another big, impressive building.