Allah has a hundred names — 1957 radio play by Günter Eich