Ernst Friedrich Theodor Lindner was a German historian.