Petrus
type: DefinedTerm
alternate name: Petrus