af åtskilliga offentliga lokaler i Köpenhamn.