Talk:Petrus Teufel

i'm not sure how to best put this in the article, but i think it should be mentioned that "Teufel" is the german word for "devil" and possibly also that "(heiliger) Petrus" is the german name for "Saint Peter". Finn MacCool 12:05, January 18, 2012 (UTC)