Décès du maire HOSSENLOPP, à Strasbourg.