الدخل غير التشغيلي، الإجمالي لـ‎JUNGFRAUBAHN HLDG‎.