RIP: Niels Holst-Sørensen, 100