Who wrote the manga that is serialized in the monthly magazine published by ASCII Media Works, that was adapted into a thirteen episode anime produced by Trinet Entertainment?