When you write a two thousand page history of the Second World War, the deportations and the concentration camps will take up five pages, and the gas chambers perhaps 20 lines.