Beweiser – „Integer Linear Problems“ - FB3