1/5/2022: Migration to Choralplayer started

Since quite a long time some choirs wanted the "Choralia mp3 player" to be made available for other users than Choralia. Furthermore, the fact that the software of the player…