@azonenberg @neil It’s a manual focus lens. I zoomed in to pixel level on the viewfinder and turned the focus ring until the streetlights 50km away were single points of light.
Not easy because the viewfinder image was super noisy.
Autofocus generally has no chance in those kinds of conditions. The other one is a 14mm autofocus lens but that’s only a 1 minute exposure and there was enough contrast left between the sky and the foliage to get an autofocus lock.