https://123dok.net/document/zx5jv0dq-derivation-of-tec-and-estimation-of-instrumental-biases-from-geonet-in-japan.html