 I am grateful to Shoryu Katsura for comments on the previous version of this entry. I also thank Yasutaka Muroya for several important corrections to the present version and for many helpful suggestions as well.