Es passiert etwas mit $COQ, aber ich weiß nicht warum..
130