Measuring the giant radio galaxy length distribution with the LoTSS | Publicación