Pseudodifferential Analysis, Automorphic Distributions