"Henk Badings" . "1907-01-17"^^ . . . . "1987-06-26"^^ . . . . . "Henk Badings" . .