LEUVEN: AND THE LIBRARY THAT COULD NOT BE DESTROYED