Translation of "Pocket margin" in German