Kompaktes Intervall