Wie Juckreiz die Mücke macht

Sommerzeit ist Summerzeit, und am 20. August ist Tag der Mücke. Aus diesem Anlass will ich zwar keinen Elefanten aus ihr machen, geschweige denn ihr einen Ehrentag verschaffen, aber es erscheint mir sinnvoll, mich ein wenig näher mit ihr zu…