Jubiläum: Hochdorf feiert 1200 Jahre