My arm was just badly bruised, it seems.
The lump is a haematoma which will, they hope, go down, eventually.
It is a tiny bit smaller, but I fear it will remain as a nasty lump for some time to come, if not for good.
Oh well. We shall just have to wait and see.