update from spielweise: primdec.lib, standard.lib
temp. disabled: reesclosure