utnämnts riksdagens justitieombudsman , borgmästaren Thomasson.