Title: Tetsugakudō Toshokan tosho mokuroku