Hahn, Rudolf (Polier)