nicht mehr in betrieb stehend Synonym