Email Record: Hypoellipticity and eigenvalue asymptotics /