We have a winner.
From now on, The Hole is called Hamburg Dungeon. Thank you all for participating. Rest assured that we considered all of your suggestions in our not-so-objective voting. The first vote resulted in a 6:6 between Hamburg Dungeon and Red Dragon. A second ballot was needed to determine the winner.
Dungeon, Red Dragon? Yes, we have to make a confession: We love fantasy, some of us anyway: movies, books, TV shows. After work, we withdraw into another world, which so obviously contradicts the cold-hard-fact reality of technical documentation. We exchange the latest Doctor Who season for Outlander books. We discuss whether the Purple Wedding or the Red Wedding will send more Game of Throne fans into therapy, and we talk shop about how to best capture a dragon.
You might be interested which suggestion came third: Icelandic vulcanos. There are 130 of them. Who needs so many meeting rooms? But the suggestion coincides with the latest bunga-bunga of the Icelandic vulcano Bárðarbunga. Have you tried to pronounce Bárðarbunga? You can practice here: