Indeed an annoying bug. The workaround of Adrian works if one closes the ": apt-get install -f -o Dpkg::Options::="--force-overwrite"