Were grave stones rationed during World War II and if so how much effort were given to provide for deceased servicemen versus civilians?