Hölderlin and Sophocles