delen af denna afdelning — Lyckholmska hvalfvet.