Aber sicher nicht von Bastei.

Gibt es überhaupt Originalfarben von Bastei? Entweder Originalfarben oder von Bastei, wenn es keine Eigenproduktionen sind.