Wachter, Otto von. See Otto von Wächter.