https://www.fuldainfo.de/ehrenbuerger-und-ehrenbuergermeister-josef-petri-gestorben/