De bade knappast inkommit i det eleganta biblioteket,