20110710 unknown: What is a hot water spring?