city library of Rotterdam.