which royal established the world 's oldest university of mining ?
prince franz xaver