Joy as SA paramedic Gerco van Deventer released by al-Qaeda