Muss das Vollstreckungsgericht ein Zwangsgeld verhängen?