Die Minen sind da!

Ist dochs schön, wenn man im August schon die erste Neu­heit in den Läden hat, dann ver­geht die Zeit bis Okto­ber schnel­ler. (Nun gut, Juni wäre noch schö­ner gewe­sen, aber manch­mal kann man es sich nicht aus­su­chen.)
Am 4. Sep­tem­ber gibt es einen öffent­li­chen Spie­le­nach­mit­tag dazu — dem widme ich aber eine eigene Meldung.