Ioannes Holbenus, Basilensis