— [ stadshusets festivltetssal ] maskerad.