" ( 4 , 47ff )_