A short history of Germany