justitieombudsmannen Thomasson , som erhöll 95 röster.