6207 ) Rättens ombudsman.