![](https://secure.gravatar.com/avatar/b79687264c3e06cba13b54d05b12a9f5.jpg?s=120&d=mm&r=g)
13 Dec
2015
13 Dec
'15
5:15 a.m.
Hi, -\unexpanded\def\savecounter {\dodoubleempty \strc_counters_save_interfaced} -\unexpanded\def\restorecounter {\dodoubleempty \strc_counters_restore_interfaced} +\unexpanded\def\savecounter {\dosingleempty \strc_counters_save_interfaced} +\unexpanded\def\restorecounter {\dosingleempty \strc_counters_restore_interfaced} Wolfgang