赤外線天文衛星って冷媒切れたら終わりじゃなかったっけ?