är borgmästaren i Drammen Thomas Bang utnämd.