Video in TIB AV-Portal: Universal composable security of quantum message authentication with key recycling