[arendt.gif]