kongl , biblioteket i Berlin.