How strong are single fixed points of normal functions? - Anton Freund (2019)