Mariastein (CH), Abzw. Rotberg