Title: Roman and medieval mining technique (with discussion)