» Times " hade tio stenografer der,