#1 Error while refreshing map

[Peter Müller]

Es tritt beim Refreshen der Karte ein JavaScript Fehler
auf, jedoch ist es mir noch nicht moeglich gewesen
diesen zu reproduziren und dadurch zu beheben.