af f. d. Nummerlotteriets lokal.