ombudsmannen en gratifikation- af 112 kr.