The trial of Adolf Eichmann record of proceedings in the District Court of Jerusalem