polismästaren , polisintendenten äfvensom kommendanten hade förut infunnit sig.