PROXIMA : ein System zur Generierung graphischer Abstraktionen