Appendix to the Bochum catalogue of prehistoric flint mines in Europe. (1995)