Pumpentausch nach 32 Jahren ersetzt FOX 4 die FOX 1