[ Mike Knudsen wrote in 061114 MMDigest:

> Actually, Monday 4 December is the day I will have most time available
> (when the museums are closed?).  But maybe some free time Saturday and
> Sunday, too.

Sorry, that Monday I will be in Munich is 27 November.  American
Thanksgiving is early this year.

So far I have been recommended to the Deutsches Museum downtown.
I hope it is open Mondays, the traditional day off for museums and
restaurants.

Mike Knudsen

 [ 'Twas I who inserted the date, 4 December, in Mike's
 [ article yesterday, thus adding a bit more confusion.  Sorry.
 [ Deutsches Museum is open every day from 0900 to 1700 hours;
 [ visit http://www.deutsches-museum.de/  -- Robbie