#!/usr/bin/sed s/%/\\%/g s/^§ \?[0-9]\+ \(.*\)$/\\section{\1}/g; s/^(1) \+/\\begin{enumerate}\n \\item /g; s/^([0-9]\+) \+/ \\item /g; s/^ *$/\\end{enumerate}\n/g;