Då Huningue förstördes i enlighetmed