I assume that it is not the laws that are copyrighted but this concrete representation of them - the same way, say, Beethoven's 5th symphony is not copyrighted

I assume that it is not the laws that are copyrighted but this concrete representation of them - the same way, say, Beethoven's 5th symphony is not copyrighted but recordings of its performances are - to the performers, not the composer.