Ablenkspulenjoch (Nomen)