Corrigendum uploaded on 8 December 2025.