Text this: Heidegger, die Juden, die Shoah