Short history of Terezin music