KEIL, Julius [Red.]