domkyrkäps högtidliga jnvigping dep.