Dresden den 28 Juli — en Tisdagsafton.