k. biblioteket i Köpenhamn.