A few additions to Durchfuehrung.