Collaborations between Michael Hothorn and Richard Jenkins