Barauflösungen, straffe Simplizes und Gruppenhomologie.