Rudolf von Alt (Künstler), Johann Hürlimann (Kupferstecher)