minus-squared_k_bolinkfedilinkarrow-up2·4 hours ago pit ist wohl eher “Grube” als “Spitze” (Verwechslung mit “tip”?) Ups…
Ups…