@ThomasLerch Thanks, Thomas. Alas, no Berlin this trip. And not much time here… we head south tomorrow for München.
