RISM ID no.: pe131718
Last update: March 1, 2023