5245 ) Rättens ombudsman.