6340 ) Rättens ombudsman.