斯特拉霍夫图书馆始建于1143年,