rare instance where the German name Taubenschwänzchen ('little dove-tail') is nicer than the English name