Footnote

a While this article was being prepared for publication, Erna Ludolph passed away at age 96. She was faithful to the end.