What is the antenna requirement aboard a survival craft equipped with a non-portable radiotelegraph installation?