6299 ) Rättens ombudsman.