http://www.emsrehberg.de/Vocoder_3000/Vocoder__5000/vocoder__5000.html

I can’t find the EMS Vocoder 5000 manual at the moment here is a link to the 2000:

http://www.synfo.nl/servicemanuals/EMS/VOCODER-2000_SERVICE_MANUAL.pdf