a reference work on automorphic forms: statements here, proofs in the classics