Kolding ( Danemark ).