6117 ) Rättens ombudsman.