View Message

Joes would only be an abbrieviation of Johannes and not a short-form or nickname (especially considering German was the lingua franca). So I would record the full Johannes Petrus.

---

An equivalent would be the seemingly defunct English custom of abbrieviating Joseph as Jos. or William as Wm. on signage and such.