Public domain
1980年代半ばにパブリックドメインとなった。