Ganges tijd (Amsterdam
+3½ uur)