Högsta förvaltningsdomstolen gjorde bedömningen att Trafikverket , trots att verket uppträdde i egenskap av infrastrukturförvaltare , inte kunde anses som enskild i den mening som avses i 7 a § förvaltningsprocesslagen .