Hotel des Bains, 'Death in Venice' and Thomas Mann.