They tripped along the murky aisles with the rest of the company, visiting the familiar wonders of the cave--wonders dubbed with rather over-descriptive names, such as "The Drawing-Room," "The Cathedral," "Aladdin's Palace," and so on.
Zij hadden met de anderen door de donkere gangen gehuppeld en de bekende wonderen van de grot bezocht,--wonderen met wel te grootsche namen bestempeld, zooals: het "Salon," de "Kathedraal," het "Paleis van Aladdin," enz.