Borgmästarebefattningen i Kristiania ,arntmansbefattningen