Title: Ein Ansatz zur formalisierten Behandlung der Semantik von Speichern mittels eines Maschinenmodells