The neolithic flint mine of Arnhofen in Lower Bavaria, Southern Germany aerial archaeology, magnetometry and ground-penetrating radar surveys (2013)