Lattices with many congruences are planar - Gábor Czédli (2018)