Does anyone have a service manual or any information on the European Electronics Systems (EES) Radio Clock Model 100. The company was part of Siemens but closed down in 2005. The Model 100 was supplied by Plessey Defence Systems to the UK military. Some models could be GPS disciplined Any information would be gratefully received for the Radio Communication Museum of Great Britain. (thanks to Robert with the hint about plain text !!) Steve Haseldine G8EBM