kommendanten , polismästaren i Stockholm jemte åtskilliga högre embetsmän.