The use of Stenographers in WRC Proceedings