1993年5月17日付けで正式廃止。