Germany's economy