See changelog in file src/neu/erzeuger_verbracher_0.c