add files that somehow disappeared

did I do a "mv" vs. "git mv"? But then there should be
duplicate files... Anyhow... ;)