DFG-Projekt: Computergestützte Analyse harmonischer Strukturen