en fest i Tivoli , som var besökt , af omkring 9 000 personer.