====== Randbemerkung ======