( ängf ) , Fredholm , Lubeck , dito.