6887 ) Rättens ombudsman.