Title: The catalogue of the Ichikawa Library