A short history of Germany, 1815-1945