Omrežje GNSS-postaj SIGNAL za spremljanje potresov : primer potresa v Petrinji, december 2020