såväl österrikiska som preussiska trupper anlände den 17 till Kolding.