Till polismästare i Stockholm är sekreteraren Semmy Bubenson utnämd.