Está nombrado por la ciudad alemana de Triberg.