Arbeitsmarkt im Oktober: Leichter Rückgang, aber Vorjahreswert übertroffen