de högtidliga hvalfvén af dessa kathedraler,