Nachfolger von Theodor Lindner.