Mariastein(CH), Abzw. Rotberg