Mining the Logs: Looking for a text on the Holocaust