Title: The variation of productivity within British and German industries