Rumah dinas direktur Pabrik Gula Purwokerto pada tahun 1900-an