(Maß=) Holder