Hamburg ist “Happy” und tanzt zum Hit von Pharrell Williams