Fredholm , Lubeck , jernoch