Nach zwölf Jahren ist Schluss mit dem Namen Hallmann Dome.