minus-squared_k_bolinkfedilinkarrow-up3·2 months ago pit ist wohl eher “Grube” als “Spitze” (Verwechslung mit “tip”?) Ups…
Ups…