An amusement park in a former salt mine: a dismal cave, which has little to do with a leisure park.