Vejle Municipality - former municipality in Denmark