Text this: Heidegger, Hölderlin, and politics