6383 ) Rättens ombudsman.