File:David Hasselhoff - "Is Everybody Happy" Official Music Video