Dantalian no Shoka: Ibarahime
Dantalian no Shoka: Ibarahime, The Mystic Archives of Dantalian: Ibarahime, Bibliotheca Mystica de Dantalian: Ibarahime, Dantalian's Bookshelf: Ibarahime
Based on Mikumo Gakuto's Bibliotheca Mystica de Dantalian (Dantalian no Shoka) light novel series.