Germany's economy in a nutshell.