Ulrichus Velenus (Oldřich Velenský) and his treatise against the papacy - Lamping, Antonie Jan