techers pet henry hall the bbc dance orchestra lyrics music