https://www.dict.cc/englisch-deutsch/pseudo+Riemannian+manifold.html