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