Differential geometric methods in mathematical physics : Clausthal 1980 : proceedings of an international conference held at the Technical University of Clausthal, FRG, July 23-25, 1980