@jet2space:
Die Klinker-/Mauersteine wurden bereits im April 2008 (per Hand) abgetragen. Hierfür standen eine Zeit lang Gerüste an den Annexbauten. Die Steine wurden gereinigt und lagern z. Z. in der Großmarkthalle.
Diese werden für Ausbesserungsarbeiten an der GMH wiederverwendet. Geht aber alles wahrscheinlich schon aus div. Vorposts hervor...
Du siehst, hier geht es nun zügig voran!