Den Arendska stenografiens försvinnande från den tyska moderjorden.