法院應將訴訟終結情形通知目的事業主管機關。