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