ordförande i magistraten och rådhusrätten har t. f. polismästaren Bergen valts.