Oberdorfbrunna avant 1850