Anton Friedrich Mitrowsky — Austrian officer and civil servant (1840-1907)