till middagsmåltiden finnas att tillgå så väl i Reataurationslokalen å Riddarholmen,