EDM community mourns the loss of the Bingo Players' Paul Bäumer