Kennt jemand zufällig noch die Bezeichnung von einem handelsüblichen Spindeltrimmer in der Bibliothek?