Spielergewerkschaft in der DEL?