Haylman, Johann of Constance