Tivoli Gardens is an amusement park, though.