Która godzina czasu miejscowego jest w Warszawie gdy radio z Warszawy podaje godzinę 12.00 w porze roku gdy w Polsce obowiązuje tak zwany czas letni.