Rayleigh or Abbe? Origin and naming of the resolution formula of microlithography