20070128 unknown: What is heavy water?