den stora restaurationspaviljongen , i hvilken en lätt dejeuner var serverad.