The microwave spectrum of pyrrolidine