Hot lava, cool Java: Bandung offers a break with coffee and crater lakes

Bandung, the capital of West Java, was built by Dutch planters and merchants, whose nostalgia for Europe in the 1920s saw the construction of a number of impressive art deco edifices that survive as banks, hotels and gubernatorial palaces.