Vierter deutscher Eishockey-Titel für EHC Red Bull München