Holzhausentor (Ende 18. Jh., 1910 erneuert)