nicht mehr in betrieb Synonym