polisintendenten äfvensom åtskilliga andra högre civila och militära ämbetsmän.