Basilika Mariastein, Metzerlen-Mariastein, Solothurn