Design and verification challenges of the Limmern caverns