Café-restaurant 'In den Vergulden Turk' in Leiden,