derlappen.■ ( 7.30 — 10.15 .)