Symbolbasierte Konvergenzanalyse in Blockmultigrid-Methoden mit Anwendungen für Stokes-Probleme