m . i Börsens Restaurationslokal.