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.