Darmstädter Ferienkurse
Presented at the Darmstädter Ferienkurse, 28 July 1984, 1:00 AM: