Hartmann_mask
Hartmann mask
Telescope focusing device
Hartmann mask is a tool to help focusing telescopes, mainly used by amateur astronomers. It is named after the German astronomer Johannes Franz Hartmann (1865–1936), who developed it around 1900.