Speichereffizienter Aufbau von binären Entscheidungsdiagrammen