Mourning at RB Leipzig: Commemoration of deceased fans