====== DISCO 1 launch ======

DISCO1 was put into orbit  at ...    more to come