Convergence versus integrability in Birkhoff normal form