mit Biographie von G . Karpels.