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?