"I read somewhere that aluminium frames are not very repairable,..."
They are and they aren't. Cost being the main reason. It is less expensive to buy a new aluminum frame than to repair a damaged one and deal with the metallurgical issues of the heat affected weld zone, alignment, etc. A decent Al frame is what? Around $200-$400? That doesn't buy much shop time/skilled labor. We repair structural Al aircraft parts. They cost/life cycle analysis being a completely different animal in that case.
A dent, such as the one pictured, will affect the tube's ability to carry load, but used as a race beater and keeping an eye on the area (failure mode of aluminum usually gives a warning period with stress fracture/crack propagation)...I would use and abuse it like a cheap suit. As always, YMMV.
"What does the manufacturer say?"
Best idea so far. Contact Trek. They may discount a replacement frameset.
Anyone remember "The Good Ol' Days"â„¢? If that were a steel Reynolds or Colombus tubed racing bike, the paint would be sanded off for a few inches and the tube rolled in a pair of wood blocks in the bench vise...no more dent. A little more sanding and a coat of spot-in paint and it's good for another five years!