v0.72.5

Changelog

• 9145083 ./renewIDs_in_examples_and_test_folder.sh now usese relative paths does not delete history per default
• 27c42b4 ConstruvrFullTriceInfo reworked and environment adapted
• 7af720a Hint added
• be305a2 Links corrected
• bb838ad Links corrected
• bcc184c Special test for debug added
• 367ea55 comment added
• 72db3de maintenance
• 4cc18f3 special test for debugging added
• 61f8cfb stop on parse errors immediately
• 141c1cd v0.72.5 changes incorporated
• a7e3c98 wrong character deleted