stadshauptmannen å Kristiania S.