5226 ) Rättens ombudsman.