5255 ) Rättens ombudsman.