borgmästaren E. Thomasson , den förre till justitieombudsman och den senare till justiticombudsmannens eventuella efterträdare.