Er mag unglücklich sein, aber es ist die gängige Bezeichnung. Hast Du einen Vorschlag für eine "glücklichere Bezeichnung", die könnte man ja dann durchaus ergänzend erwähnen. -- hg6996 13:14, 30. Dez. 2012 (CET)