This is my own work. It was removed for lack of a copyright tag on a prior occasion. It is now public domain.
