Till borgmästare i Stockholm har utnämnts rådmannen F. Krook.