mike wrote:
I have a good quality and quite old shovel which has serious layers of
all sorts of muck - including old cement - very securely stuck to it.

Any suggestions for cleaning - other than a cold chisel and hammer?

Brick acid.
That will take off the rust as well..