What is history for?: Johann Gustav Droysen and the functions of historiography