Arbeitsgemeinschaft Historischer Editor