Joint Documentation Service of ESRO, EUROSPACE and EODCSVL (->"IEEE Standard Dictionary")