Joint authors: Jacob Sprenger and Henricus Institoris.