Grätzer–Hofmann–Lawson–Jung–Sünderhauf duality