"debug header file added" as sejour_a@jormungandr.eu