Trixi the Librarian. - Fabian Wieczorek; Shang-Ching Liu; Björn Sygo; Mykhailo Koshil (CoRR, 2022)