IS , Adln ' braudt , Th . 78 , Banach , El.