text: Keine Ahnung. Die Haltestelle heißt immer noch Achenseehof, sowohl beim 4080er als beim 9550er, wie eingetragen, siehe https://efa.vvt.at/vvtadr/TTB/D_00005158_TP.pdf und https://www.dbregiobus-bayern.de/regiobusbayern/view/mdb/kursbuch/mdb_321576_rvo_9550_131220.pdf.  Ich wüsst' jetzt net, was gemeint ist.