Yes ab the Germans were meticulous in keeping records. I know this because my father was shot down and killed over occupied Holland, and I have managed to find out from the records made and kept by the occupying power, that were sent to me on request, every last detail, not only time, place and funeral details, (they provided a guard of honour for these airmen! How strange is that!!) but personal effects, down to photographs recovered, bits of flying gear, name tags, even a comb! All carefully noted down and, according to records, bagged up ready to return to the Red Cross. Records like this were kept for absolutely everything and everyone; so yes, all the people you name would have been equally meticulously recorded. These records of course do prove the fate of the numbers of Jews murdered, as well as other victims of the Nazis, and put paid to others saying differently.