Holl (Gemeinde Mining)