About the “Happy Birthday” Song