Habsburg dynasty and Mining