Crabs in Shells

Boil a few crabs, pick out the meat and place the coral on one side. Chop up
the meat, add to it one onion, ground ginger, lemon juice, mushroom catsup, salt and
pepper ; put the mixture into a fryingpan with butter and cook until the butter is
absorbed. Pour in a little stock, boil until nearly evaporated, then remove the pan
from the fire. Butter five of the crab shells and fill them with the mixture. Grind
the coral, mingle it with some breadcrumbs, sprinkle this over the mixture, put a few
small lumps of butter on the tops, place the shells in the oven, and bake for a few
minutes.