Erdbeben in der Eifel: Wann erfolgt die Warnung?