Das mit dem temporären Abschalten der History ist auch generell gut zu wissen, Danke. n/t