Removed initial comment block. No one reads it anyway ...