https://9dok.net/document/q5m0ee33-observability-parabolic-systems-interior-observations-discrete-type.html