👤 Theodor Storm (1817-88), German writer