After the destruction of the cathedral the tombstone was lost , but it was found in NUMBER@1 -LRB- it was being used to cover a well -RRB- , and is now in a museum in LOCATION@1 .

In later years the cathedral was destroyed , and the tombstone was lost , but it was found in NUMBER@1 -LRB- it was being used to cover a well -RRB- , and is now in a museum in LOCATION@1 .
