Fredholm , Karlshof '.