Spielberg Weinberger Kirberger Luenberger Rosenberger Goldberger Ripperger Schonberger Selberg定理 Heidelberg