f?r induktion