Text this: Hörmander's inequality and point evaluations in de Branges space.