Ton Haas, books ends