A short history of the German Enlightenment