The charterhouse of Buxheim and its library