月曜日が祝日だと、火曜日が休館日になるのは図書館の宿命