Darmstadt

Following on his previous updates, L. Freund has sent yet another (final?) batch of changes for our database for Darmstadt (Germany), concerning mainly the operating times for the bus lines.