beardedbruce, I was going to refer you to http://dmdb.org/lyrics/lehrer.misc.html but now that I've been there I see it's unnecessary as your post here is just a wholesale cut-and-paste from what's at that page. But maybe you're the person who put that page together in the first place, so you didn't have any need to cite it.