And, in hindsight, we all should check the contact and hosting info of the next "small" exchange, we want to trade on and send our coins to.
Or, even better, use a decentralised exchange (where they are available for the coin you wish to trade) - this means that the coins remain in your own wallet until you trade.