Fredholm , Lubeck , Jernoch