"zementieren (aufkohlen)" Englisch