edited by rudolf Finsterwalder and Wilfried Wang edited by Paul Walker and Marie John. edited by Arnulf Grubler and David Fisk.