Ouritsu Toshokan no HarinezumiThe Hedgehog of the Royal Library; The Hedgehog-Like Witch of the Royal Magical Library; Ōritsu Toshokan no Harinezumi; 王立図書館のはりねずみ