Horst Mahler — German political activist (1936–2025)