Tomtom aandelenkoers onder de 9 euro gekomen