Wir gedenken Toni Haas, “Christoffel Toni”