Schichten von Travertin sind in heißen Quellen und vulkanischen Gebieten weit verbreitet. Zentral-Java, Indonesien