Address missing files in 2001/herrmann1

With thanks to Leo, the filenames have been corrected in the
README.md/index.html file. As the manifest already has them (they were
under different names) the .entry.json file did not have to be updated.

bugs.md

@@ -2504,15 +2504,6 @@ Jump to: [top](#)
 
 Jump to: [top](#)
 
-### STATUS: missing files - please provide them
-### Source code: [2001/herrmann1/herrmann1.c](%%REPO_URL%%/2001/herrmann1/herrmann1.c)
-### Information: [2001/herrmann1/index.html](2001/herrmann1/index.html)
-
-The author referred to the file `herrmann1.turing` but it does not exist not even
-in the archive. Do you have a copy? Please provide it!
-
-Jump to: [top](#)
-
 ### STATUS: known bug - please help us fix
 
 There is also a bug in part. During compilation you're supposed to see some