History of the rain gauge