Conveniently Hoelder homomorphisms are smooth in the convenient sense

We show that every ‘conveniently Hoelder’ homomorphism between Lie groups in the sense of convenient differential calculus is smooth (in the convenient sense). In particular, every Lip^0 homomorphism is smooth.