6377 ) Rättens ombudsman.