( 7 ) ( Från tyskan ).