Ìpinnu Ilé Ẹjọ́ yìí jọ èyí tó ṣe lóṣù June ọdún 1993 , lórí ẹjọ́ kan tó fara jọ èyí nígbà tí Ilé Ẹjọ́ náà dájọ́ pé orílẹ̀ - èdè Austria hùwà kẹ́lẹ́sìnmẹ̀sìn sí Ingrid Hoffmann , obìnrin Ẹlẹ́rìí Jèhófà kan , nítorí ẹ̀sìn rẹ̀ .
Ipinnu Ile Ejo yii jo eyi to se losu June odun 1993 , lori ejo kan to fara jo eyi nigba ti Ile Ejo naa dajo pe orile - ede Austria huwa kelesinmesin si Ingrid Hoffmann , obinrin Elerii Jehofa kan , nitori esin re .