martin_scharrer/texdef archive