dåvarande öfverståthållaren i Stockholm , baron Sprengtporten , örn anläggandet af en reparalionsskeppsdocka i Stockholm ,med