har utnämnts polisdomaren i Stockholm Wilhelm Willers.