Many fantasy/historical computer games and RPGs feature "dungeons", ie a large labyrinthian set of tunnels, rooms, traps etc. Is there any historical basis for dungeons?