Den nye hallen på Tønnevoldsjordet blir kommunens desidert største