#! /bin/sh
sed -n -e '/input/s/.tex//gp' \
    < umlaut.tex > input-tex-ohne-kontrolle.txt