發送短信 : Eine formale Anfragesprache für entity-relationship-Daten-Banken aus Sätzen der englischen Sprache /