Generalized arf invariants etc homology door Wolters