Dertsch1 nennt einen ersten Beleg mit dem ZusatzObern- (ursprünglich also im Dativ) aus einer Urkunde des Klosters Kempten von 1508, ohne jedoch die ganze Namenform anzugeben. Belege ohne unterscheidenden Zusatz können sich auch auf Untergrünenberg beziehen.