Kungliga biblioteket i Berlin,