Hartmann mask

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.