https://123dok.net/document/y8gnm15z-counting-elliptic-curves-of-bounded-faltings-height.html