Hölder (surname)Hölder is a German surname.Holder (surname)Source: Wikipedia — Hölder (surname) (CC BY-SA 4.0)