[ Mannheim ] --> { end: back,0; } [ Weimar ]
[ Potsdam ] --> { end: back,0; } [ Weimar ]