för hamnbyggmästarebefattningen i Stockholm.