Bányászimák és egyházi énekek a 18. századból