gamla Badhuset i härwarande Tivoli.